#include<stdio.h>
#include<math.h>

int main()//1-OK 
{
	int i,flag,n,x;
	int a[20];
	scanf("%d",&n,&x);
	for(i=0;i<n;i++)
	{
		scanf("%d",&a[i]);
	}
	scanf("%d",&x);
	flag=0;
	for(i=0;i<n;i++)
	{
		if(a[i]==x)
		{
			flag=1;
			break;
		}
	}
	if(flag==0)
	{
		printf("None!");
	}
	else
	{
		printf("a[%d]=%d",i,x);
	}
	return 0;
}

//int main()//1-problem 
//{
//	int a[20];
//	int n,x,i;
//	scanf("%d",&n);
//	
//	for(i=0;i<n;i++)
//	{
//		scanf("%d",&a[i]);
//	}
//	
//	scanf("%d",&x);
//	for(i=0;i<n;i++)
//	{
//		if(a[i]==x)
//		{
//			printf("a[%d]=%d\n",i,a[i]); 
//		}
//		else if(i==n-1&&n!=6)
//		{
//			printf("None!");
//		}
//		else
//		{
//			continue;
//		}
//	}
//	return 0;
//}

//int main()//2 
//{
//	int i,n;
//	int a[10],b[10];
//	scanf("%d",&n);
//	for(i=0;i<n;i++)
//	{
//		scanf("%d",&a[i]);
//	}
//	for(i=0;i<n-1;i++)
//	{
//		b[i]=a[i+1]-a[i];
//	}
//	for(i=0;i<n-1;i++)
//	{
//		if((i+1)%3==1)
//		{
//			printf("%d",b[i]);
//		}
//		else
//		{
//			printf(" %d",b[i]);
//		}
//		if((i+1)%3==0)
//		{
//			printf("\n");
//		}
//	}
//	if((n-1)%3!=0)
//	{
//		printf("\n");
//	}
//	return 0;
//}

//int main()//3 
//{
//	int i,min,max,mini,maxi,n,temp;
//	int a[20];
//	scanf("%d",&n);
//	for(i=0;i<n;i++)
//	{
//		scanf("%d",&a[i]);
//	}
//	min=max=a[0];
//	mini=maxi=0;
//	for(i=1;i<n;i++)
//	{
//		if(a[i]<min)
//		{
//			min=a[i];
//			mini=i;
//		}
//		if(a[i]>max)
//		{
//			max=a[i];
//			maxi=i;
//		}
//	}
//	temp=a[0];
//	a[0]=min;
//	a[mini]=temp;
//	if (maxi==0)
//	{
//		maxi=mini;
//	}
//	temp=a[n-1];
//	a[n-1]=max;
//	a[maxi]=temp;
//	for(i=0;i<n;i++)
//	{
//		printf("%d ",a[i]);
//	}
//	return 0;
//}

//int main()//4 
//{
//    int n,i;
//    int a[10];
//    scanf("%d",&n);
//    for(i=0;i<n;i++)
//    {
//        scanf("%d",a+i);
//    }
//    for(i=n-1;i>=0;i--)
//    {
//        printf("%d ",a[i]);
//    }
//    return 0;
//}
